Bizanslı General Problemi, Sha256 Ve İşlem Kanıtı Sistemleri